Matemática computacional I / Marlene Elizabeth Aguilar Navarro, Edwin David Portillo Hernández
Por: Aguilar Navarro, Marlene Elizabeth [Autor].
Colaborador(es): Portillo Hernández, Edwin David.
Tipo de material: LibroEditor: San Miguel: Universidad Gerardo Barrios, 2015Edición: 1a. ed.Descripción: 97 p.; 27 cm.ISBN: 9789996191275.Tema(s): MATEMATICA COMPUTACIONAL | LÓGICA MATEMÁTICA | LIBRO DE CATEDRAClasificación CDD: 511.3 Resumen: CÁLCULO PROPOSICIONAL. Proposiciones simples y compuestas; Valor de verdad; Conectivos lógicos: negación, disyunción, conjunción, condicional y bicondicional; Tautología, contradicción o equivalencia; Álgebra de proposiciones: leyes; Ejercicios prácticos. CALCULO PREDICATIVO. Lógica de predicados; Las funciones enunciativas, variables y cuantificadores; Equivalencias entre cuantificadores; Universo del discurso; Variables libre y ligadas; Teoría de la inferencia del cálculo de predicado; Ejercicios prácticos. TEORÍA DE CONJUNTOS. Notación; Familia de conjuntos; Inclusión e igualdad; Diagramas de Venn-Euler; Álgebra de conjuntos; Ejercicios prácticos. ALGORITMOS. Notación de algoritmos; Algoritmos recursivos; Algoritmo iterativo; Algoritmo de Euclides; Criptografía; Ejercicios prácticos. MÉTODOS DE CONTEO. Permutaciones y combinaciones; Ejercicios prácticos. ARBOLES Y LENGUAJE. Arboles; Estructura del árbol y sus niveles; Bosques de árboles; Subárboles; Tipos de árboles; Recorrido de un árbol; Ejercicios prácticos. SISTEMAS DE NUMERACIÓN. Sistema decimal; Sistema binario, octal y hexadecimal; Conversiones; Ejercicios prácticos.Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ejemplares |
---|---|---|---|---|---|---|---|
Libros | Biblioteca Central SM Colección General | 511.3 AG283 (Ver Items Similares) | Ej. 1 | Disponible | 43063 | ||
Libros | Biblioteca Central SM Colección General | 511.3 AG283 (Ver Items Similares) | Ej. 2 | Disponible | 43064 | ||
Libros | Biblioteca Central SM Colección General | 511.3 AG283 (Ver Items Similares) | Ej. 3 | Disponible | 43065 | ||
Libros | Biblioteca USU Colección General | 511.3 AG283 (Ver Items Similares) | Ej. 4 | Disponible | 43066 | ||
Libros | Biblioteca USU Colección General | 511.3 AG283 (Ver Items Similares) | Ej. 5 | Disponible | 43067 | ||
Libros | Biblioteca USU Colección General | 511.3 AG283 (Ver Items Similares) | Ej. 6 | Disponible | 43068 |
CÁLCULO PROPOSICIONAL. Proposiciones simples y compuestas; Valor de verdad; Conectivos lógicos: negación, disyunción, conjunción, condicional y bicondicional; Tautología, contradicción o equivalencia; Álgebra de proposiciones: leyes; Ejercicios prácticos. CALCULO PREDICATIVO. Lógica de predicados; Las funciones enunciativas, variables y cuantificadores; Equivalencias entre cuantificadores; Universo del discurso; Variables libre y ligadas; Teoría de la inferencia del cálculo de predicado; Ejercicios prácticos. TEORÍA DE CONJUNTOS. Notación; Familia de conjuntos; Inclusión e igualdad; Diagramas de Venn-Euler; Álgebra de conjuntos; Ejercicios prácticos. ALGORITMOS. Notación de algoritmos; Algoritmos recursivos; Algoritmo iterativo; Algoritmo de Euclides; Criptografía; Ejercicios prácticos. MÉTODOS DE CONTEO. Permutaciones y combinaciones; Ejercicios prácticos. ARBOLES Y LENGUAJE. Arboles; Estructura del árbol y sus niveles; Bosques de árboles; Subárboles; Tipos de árboles; Recorrido de un árbol; Ejercicios prácticos. SISTEMAS DE NUMERACIÓN. Sistema decimal; Sistema binario, octal y hexadecimal; Conversiones; Ejercicios prácticos.
No hay comentarios para este ejemplar.